10 years ago they would have been issued with a certificate, or for some ccTLDs as recently as 4 yeasr ago, but none of the _registres_ have issued them since then
Some (like Nominet for .uk) let you print a pointless PDF "certificate", and a few *registrars* still do similar, but your client is simply incorrect.