Prioritised Planning: Completeness, Optimality, and Complexity (JAIR, 2025)