tomhukins
As of https://www.openstreetmap.org/changeset/42560125 this is no longer tagged as Leopold Supermarket, which has closed, as you mention.

Please let me know if you think the tags can be improved further.