Teachmint’s Certificates section has a search field where admins can search for the name of the student. If the certificate has been generated, it will be shown likewise. If not, it will not show up, at which point it can be generated by the admin.