「完全証明」なんて単語は中村八束氏の造語だと考えるべきだろう。
ttp://e-learn.mine.nu/mizar/jordancurve.htm
>we have finally completed formalizing
>in Mizar the proof of the Jordan Curve Theorem.
を恣意的に誤訳して作り上げた単語だと思う。