The state of being complete and entire.
Logic: The condition of a → formal system if every → valid → inference is → provable by means of the rules of the system.
See also: From → complete + → -ness.