A final state denotes the end of the execution flow of a state machine or region. It can have multiple incoming transitions but no outgoing ones. Each region may contain at most one final state. In the case of orthogonal regions, the execution flow stops when all regions' final states have been reached. A statechart is final if active leaf states are final states. Final states are typically used together with completion transitions .