A common criticism of Locke's ideational definition of knowledge is that it contradicts his accounts of knowledge's reality and sensitive knowledge. Here it is argued that the ideational definiton of knowledge is compatible with knowledge of idea-independent reality. The key is Locke's notion of the signification. Nominal agreements obtain if and only if the ideas' descriptive contents are the ground for truth; real agreements obtain only if their total denotation are the grounds for truth. The signification of the ideas determine whether they denote real or fantastical objects. Three types of ideas, simple quality-ideas, modal ideas, and relational ideas, necessarily signify real objects. The fourth type, the ideas of substances, are real only if those particular combinations of qualitites have been perceived to co-exist. Locke's ideas are intrinsically either real or fantastical and thus, it is argued, his models of truth and knowledge's reality are far from typical correspondence theories.