Pork meat in general hence pork tenderloin too should be cooked to an internal temperature of 145°F / 63°C followed by a 3 minutes rest.