completeness

Also known as syntactically complete, semantically complete, syntactical completeness, semantical completeness

fundamental concept in metalogic, and the term may be used without qualification with differing meanings depending on the context within mathematical logic