Completion

Kind: node

Record: reasoning:node-ter-completion

Canonical: Reasoning

Is every task done?

Listed in Reasoning records, after Located Observation and before Saturation.

Axis

• termination

Math type

• set-theory

Grounded by

• RETURN
• FINALIZE
• COMPLETION

Linked from

• The axes
• action
• report