# COMPLETION

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

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

Listed in [Grammar records](https://banes-lab.com/api/records/pag.md), after [UNRESOLVED](https://banes-lab.com/records/pag/keyword-report-unresolved.md) and before [INVARIANT](https://banes-lab.com/records/pag/keyword-invariant-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)

## Linked from

- [The nodes](https://banes-lab.com/ontology/reasoning/the-nodes.md)
- [The invariants](https://banes-lab.com/ontology/reasoning/the-invariants.md)