Not sure in other countries, but in my country (Korea) they were called PDP and rarely called plasma TV even knowing the technology behind it. It's a bit funny thinking about "Plasma" but it should be fine.

BTW, it had been dead for 10+ years...time flies so fast.