Nella teoria della probabilità, il teorema di arresto opzionale di Doob afferma che, sotto certe condizioni, il valore atteso di una martingala ad un certo tempo di arresto coincide con il suo valore atteso iniziale.
Il teorema prende il nome dal matematico Joseph Leo Doob.