# COMPLETION

> Saturated, complete and verified · the three that must coincide

Record: `pag:keyword-completion`
Kind: keyword
Canonical: https://banes-lab.com/ontology/grammar#pag-keyword-completion

Listed in [Grammar records](https://banes-lab.com/api/records/pag.md), after [UNRESOLVED](https://banes-lab.com/records/pag/keyword-unresolved.md) and before [INVARIANT](https://banes-lab.com/records/pag/keyword-invariant.md).

## Grounds

- [node:ter-stop](https://banes-lab.com/records/reasoning/node-ter-stop.md)
- [node:ter-saturation](https://banes-lab.com/records/reasoning/node-ter-saturation.md)
- [node:ter-completion](https://banes-lab.com/records/reasoning/node-ter-completion.md)
- [invariant:epi-terminate-on-three](https://banes-lab.com/records/reasoning/invariant-epi-terminate-on-three.md)