If I can suggest it here, I would advice to have something like "you have completed the campaign, the ORES team is going to review and deploy the predictions soon on your wiki". The community should have to create a Phabricator task to go to the next step.

Talking to @Zppix in chat, I came up with the following query to quickly check for campaign completion:

SELECT 1 FROM task 
INNER JOIN campaign ON campaign_id = campaign.id 
LEFT JOIN label ON task_id = task.id 
WHERE campaign.id = <campaign ID number> 
GROUP BY task.id 
HAVING COUNT(label.data) < MAX(campaign.labels_per_task) 
LIMIT 1

If it returns a row, then the campaign is not complete. If it can't return a row, the campaign is complete.

I have changed the message you referenced in, https://github.com/wiki-ai/wikilabels/pull/180. I am unable however to do the second part of creating a second message for if the campaign is actually over (im not experienced or comfortable enough to do that in Wikilabels.)

Completed and merged to master, awaiting deployment to our wkikilabels instance, keeping task open until then.

@Zppix asked me on irc to move it to done.