On Tuesday, January 10, 2017 at 7:39:27 PM UTC-5, wrote:
What is a tombstone called by regular people?

Tombstone.

More specifically, shunted or non-shunted tombstone.

https://www.earthled.com/blogs/led-l...nted-tombstone