program-proofing Definition Totally Correct Program A program is totally correct if it is partially correct and always terminates.