<theory> A metric space in which every sequence that converges in itself has a limit. For example, the space of real numbers is complete by Dedekind's axiom, whereas the space of rational numbers is not - e.g. the sequence a=1; a[n_+1]:=a[n]/2+1/a[n].
Try this search on Wikipedia, OneLook, Google
Nearby terms: complete graph « complete inference system « complete lattice « complete metric space » completeness » complete partial ordering » complete theory