A proof is complete if every line follows from the previous ones by the correct application of a transformation rule.
Μια απόδειξη είναι πλήρης αν κάθε γραμμή προκύπτει από τα προηγούμενα με την ορθή εφαρμογή του κανόνα μετασχηματισμού.