1: \begin{abstract}

2: Prokhorov's Theorem in probability theory states that a family $\Gamma$ of probability measures on a Polish space is tight if and only if every sequence in $\Gamma$ has a weakly convergent subsequence. 

3: Due to the highly non-constructive nature of (relative) sequential compactness, however, the effective content of this theorem has not been studied. 

4: To this end, we generalize the effective notions of weak convergence of measures on the real line due to McNicholl and Rojas to computable Polish spaces. 

5: Then, we introduce an effective notion of tightness for families of measures on computable Polish spaces. 

6: Finally, we prove an effective version of Prokhorov's Theorem for computable sequences of probability measures.

7: \end{abstract}