The symbol itself is called a tombstone or halmos in English.
Etymology
Introduced into mathematical usage by Paul Halmos, modeled after the end sign ■ (a printer’s ornament or dingbat used to indicate the end of an article or story) found in popular print media.