When the light from a distant object passes very near to a foreground galaxy or cluster, gravitational lensing can cause it to appear as multiple images on the sky¹. If the source is variable, it can be used to constrain the cosmic expansion rate² and dark energy models³. Achieving these cosmological goals requires many lensed transients with precise time-delay measurements⁴. Lensed supernovae are attractive for this purpose because they have relatively simple photometric behaviour, with well-understood light curve shapes and colours—in contrast to the stochastic variation of quasars. Here we report the discovery of a multiply imaged supernova, AT 2016jka (`SN Requiem'). It appeared in an evolved galaxy at redshift 1.95, gravitationally lensed by a foreground galaxy cluster⁵. It is probably a type Ia supernova—the explosion of a low-mass stellar remnant, whose light curve can be used to measure cosmic distances. In archival Hubble Space Telescope imaging, three lensed images of the supernova are detected with relative time delays of <200 d. We predict that a fourth image will appear close to the cluster core in the year 2037 ± 2. Observation of the fourth image could provide a time-delay precision of ~7 d, <1% of the extraordinary 20 yr baseline. The supernova classification and the predicted reappearance time could be improved with further lens modelling and a comprehensive analysis of systematic uncertainties.