complete theory <logic> An abstract logical {theory} in which all true statements have formal {proofs} within the theory. (1998-07-05)