What is the proper terminology for a device that can accept IP video streams and output that to RF as used by consumer televisions?
There is no special name for something that combines IP de-encapsulation and RF modulating. At least one company markets the device as a QAM modulator with IP input.