COMPLETION

Kind: keyword

Record: pag:keyword-completion

Canonical: Grammar

Saturated, complete and verified · the three that must coincide

Listed in Grammar records, after UNRESOLVED and before INVARIANT.

Grounds

• node:ter-stop
• node:ter-saturation
• node:ter-completion
• invariant:epi-terminate-on-three