D’après le MédiaDico disponible sur le site de TV5.org, complétude signifie :

[(Propriété de ce qui est complet.• Propriété d’une théorie déductible qui ne renferme pas de propositions indécidables.)]

D’après Wikipédia et Isabelle, c’est surtout utilisé en maths mais les informaticiens (dont j’accepte de temps en temps l’assimilation à titre personnel, sauf quand c’est de manière péjorative) aiment bien l’utiliser.

Tiens, au fait, pour faire une recherche dans Wikipédia, il suffit de se mettre sur votre moteur de recherche préféré et de taper « Wikipédia » suivi de votre mot recherché.