Unfortunately the serial driver used on RP2040 came from ARM, it is called PL011 and for some strange reason ARM had the “brilliant” idea of not including a Transmit Complete interruption.
More about it: https://forums.raspberrypi.com/viewtopic.php?t=336234