src/Pure/PIDE/document_status.scala

     def ok: Boolean = failed == 0
     def total: Int = unprocessed + running + warned + failed + finished
 
     def quasi_consolidated: Boolean = !suppressed && !finalized && terminated
 
+    def started: Boolean = percentage == 0
+    def completed: Boolean = percentage == 100
+
     def json: JSON.Object.T =
       JSON.Object("ok" -> ok, "total" -> total, "unprocessed" -> unprocessed,
         "running" -> running, "warned" -> warned, "failed" -> failed, "finished" -> finished,
         "canceled" -> canceled, "consolidated" -> consolidated,
         "percentage" -> percentage)