Ein Algorithmus heißt total korrekt, wenn er partiell Korrekt ist und für jede spezifizierte Eingabe terminiert.