Με τον όρο πληρότητα των κανόνων ελέγχου εννοούμε τη δυνατότητα του συστήματος να παράγει κάποια έξοδο για οποιαδήποτε είσοδο. Αν υποθέσουμε ότι οι κανόνες είναι της μορφής:
αν Χ τότε U
τότε η συνθήκη πληρότητας μεταφράζεται στη σχέση:
minxΞX{X1+X2+...Xn}>δ
όπου δ ένας θετικός αριθμός. Η παραπάνω σχέση δείχνει πως πρέπει να υπάρχει μια επικάλυψη των κανόνων ελέγχου. Ένα μέτρο της πληρότητας που μπορούμε να χρησιμοποιούμε κατά τη διαδικασία της σχεδίασης είναι το μεγαλύτερο δ για το οποίο ικανοποιείται η παραπάνω σχέση.
