Completeness
WordNet

noun


(1)   (logic) an attribute of a logical system that is so constituted that a contradiction arises if any proposition is introduced that cannot be derived from the axioms of the system
(2)   The state of being complete and entire; having everything that is needed
 
x
OK