Hi @jen2
A pork tenderloin cooked at 140F for only 2 hours? You don’t state how thick it was, but it doesn’t sound likely that you would have reached pasteurization. Just my opinion, but personally I pretty much always cook everything to pasteurization just to play it safe.
http://www.douglasbaldwin.com/sous-vide
Best of luck!