improperCompletion

Parallel-split branches reach plain end events without synchronizing — firing one leaves another branch with an active token.

Full reference documentation for improperCompletionis in progress. In the meantime, the rule's summary above describes the check, and the source implementation in lib/bpmn/rules/* on GitHub is the canonical specification.